منابع مشابه
Warping Peirce Quincuncial Panoramas
The Peirce quincuncial projection is a mapping of the surface of a sphere to the interior of a square. It is a conformal mapping except for four points on the equator. These points of non-conformality cause significant artifacts in photographic applications. In this paper, we propose an algorithm and userinterface to mitigate these artifacts. Moreover, in order to facilitate an interactive user...
متن کاملThe Peirce translation
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
متن کاملCup-product for Leibniz Cohomology and Dual Leibniz Algebras
For any Lie algebra g there is a notion of Leibniz cohomology HL(g), which is defined like the classical Lie cohomology, but with the n-th tensor product g⊗n in place of the n-th exterior product Λ g. This Leibniz cohomology is defined on a larger class of algebras : the Leibniz algebras (cf. [L1], [L2]). A Leibniz algebra is a vector space equipped with a product satisfying a variation of the ...
متن کاملManaging complex objects in Peirce
The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems , conceptual information retrieval, med...
متن کاملThe Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Pragmatism and American Philosophy
سال: 2019
ISSN: 2036-4091
DOI: 10.4000/ejpap.1555